psc.informatik.uni-jena.de psc.informatik.uni-jena.de

psc.informatik.uni-jena.de

Jena University, Programming Languages and Compilers, Prof.(em) Jürgen F H Winkler

Jena University, Dept. of Math. and Computer Science, Inst. of Informatics, Prof.(em) JFH Winkler. Programming Languages and Compilers. The Oprema: The Relay Computer of Carl Zeiss (Slides, pdf). Objekte und Objekt-Typen in 10 Konzepten (Slides, pdf). FSU Students at the ACM Programming Contest. Comparison of FPP, NPPV and SPAR. German Ada Conference 2002. Prize for Peter Brömel and Frank Ecke. Mechanical Program Verification (Budapest, Oct. 2008). Programming Languages (WS 2007/2008).

http://psc.informatik.uni-jena.de/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR PSC.INFORMATIK.UNI-JENA.DE

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

January

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Sunday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 3.9 out of 5 with 14 reviews
5 star
5
4 star
5
3 star
3
2 star
0
1 star
1

Hey there! Start your review of psc.informatik.uni-jena.de

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.5 seconds

CONTACTS AT PSC.INFORMATIK.UNI-JENA.DE

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

SCORE

6.2

PAGE TITLE
Jena University, Programming Languages and Compilers, Prof.(em) Jürgen F H Winkler | psc.informatik.uni-jena.de Reviews
<META>
DESCRIPTION
Jena University, Dept. of Math. and Computer Science, Inst. of Informatics, Prof.(em) JFH Winkler. Programming Languages and Compilers. The Oprema: The Relay Computer of Carl Zeiss (Slides, pdf). Objekte und Objekt-Typen in 10 Konzepten (Slides, pdf). FSU Students at the ACM Programming Contest. Comparison of FPP, NPPV and SPAR. German Ada Conference 2002. Prize for Peter Brömel and Frank Ecke. Mechanical Program Verification (Budapest, Oct. 2008). Programming Languages (WS 2007/2008).
<META>
KEYWORDS
1 useful tools
2 useful info
3 concurrent quicksort
4 ll k animation
5 first follow anim
6 lr k animation
7 talks
8 proceedings
9 members and address
10 studien arb
CONTENT
Page content here
KEYWORDS ON
PAGE
useful tools,useful info,concurrent quicksort,ll k animation,first follow anim,lr k animation,talks,proceedings,members and address,studien arb,diplom arb,teaching,research,papers,other useful information,friedrich schiller university,online journals,apis
SERVER
Apache/2.4.10 (Debian)
CONTENT-TYPE
windows-1252
GOOGLE PREVIEW

Jena University, Programming Languages and Compilers, Prof.(em) Jürgen F H Winkler | psc.informatik.uni-jena.de Reviews

https://psc.informatik.uni-jena.de

Jena University, Dept. of Math. and Computer Science, Inst. of Informatics, Prof.(em) JFH Winkler. Programming Languages and Compilers. The Oprema: The Relay Computer of Carl Zeiss (Slides, pdf). Objekte und Objekt-Typen in 10 Konzepten (Slides, pdf). FSU Students at the ACM Programming Contest. Comparison of FPP, NPPV and SPAR. German Ada Conference 2002. Prize for Peter Brömel and Frank Ecke. Mechanical Program Verification (Budapest, Oct. 2008). Programming Languages (WS 2007/2008).

INTERNAL PAGES

psc.informatik.uni-jena.de psc.informatik.uni-jena.de
1

Jena Univ., Programming Languages & Compilers, Papers & Reports

http://psc.informatik.uni-jena.de/publ/pap-rep.htm

Jena University, Dept. of Math. and Computer Science, Inst. of Computer Science. Programming Languages and Compilers. Winkler, Jürgen F. H. C#: Eine Konkurrenz für Java? C#: a Competitor for Java? It - information technology 46,2 (2004)85 . 93 ( pdf. Nkler, Jürgen F. H. A Sharp Adaptation Rule for Specifications with General Specification Variables. Friedrich Schiller University, Dept. of Math. and Comp. Sci., Report Math / Inf / 2003 / 22, 2003.Aug.27. Winkler, Jürgen F. H. C# - Geschichte und Überblick.

2

Jena Univ., Programming Languages & Compilers, Course: Mech Progr Verific

http://psc.informatik.uni-jena.de/teach/verific/course-MPV.htm

Jena University, Dept. of Math. and Computer Science, Inst. of Computer Science. Programming Languages and Compilers, Prof. J.F.H. Winkler. Course "Mechanical Program Verification". Budapest, ELTE, 2008.Oct.06.10. History, concepts and realistic program verification. Comparison of FPP, NPPV and SPARK. FPP in more detail. Mechanical generation of invariants for FOR-loops. Problems of FPP (and others), towards realistic VCs. Kauer, Stefan; Winkler, Jürgen F. H. Includes all 25 (23) examples). WING 2007, 1.

3

Frege Program Prover (FPP)

http://psc.informatik.uni-jena.de/fpp/fpp-main.htm

University of Jena, Department of Mathematics and Computer Science. Programming Languages and Compilers. The Frege Program Prover (FPP). Introduction to the Frege Program Prover. Mechanical Program Verification (Budapest, Okt. 2008). Due to technical problems FPP is currently not running = =. We hope FPP will be again available soon. If you have any comments or questions, please contact Juergen Winkler.

4

Software-Ergonomie

http://psc.informatik.uni-jena.de/teach/SoftErg/swe_001.htm

Diese Seite enthält Frames. Sie benötigen einen Browser, der Frames unterstützt, um diese Seite anzeigen zu können.

5

"Grammaton - \"Animating the Top Down Analysis\""

http://psc.informatik.uni-jena.de/teach/comp/LLK-Anim/index.html

UPGRADE TO PREMIUM TO VIEW 11 MORE

TOTAL PAGES IN THIS WEBSITE

16

OTHER SITES

psc.idel.hr psc.idel.hr

PŠC | Pilotski Školski Centar

Za pilota lakog zrakoplova LAPL(A). Za privatnog pilota aviona PPL(A). Smjestite se u našem udobnom klimatiziranom prostoru sa dvanaest sjedećih mjesta a u pauzi se poslužite toplim napitcima iz caffe aparata u prostoriji za odmor. Iskusni instruktori i stručni predavači. U našem centru predaju iskusni instruktori letenja i stručni predavači zrakoplovne struke. Polaznici sudjeluju na predavanju i tako čine predavanja interaktivna, zanimljivija a samim time i opuštenija. Zašto se školovati kod nas? Kvalit...

psc.ie psc.ie

Peevers Slye Cotter: Accountants, Auditors & Advisors based in Kerry providing advice to companies across the Southwest of Ireland

PSC Accounting Services Limited. PSC Accounting Services Limited t/a Peevers Slye Cotter established in 1981, has grown to be one of the leading Audit and Accountancy service providers in the South West. The business has an impeccable reputation as a proactive company providing excellent, innovative accounting, business and taxation solutions and advice. We have offices in Kerry and Limerick. Professional Audit and Accountancy. Tailored Business Advisory Service. Financial Restructuring and Insolvency.

psc.ifma.org psc.ifma.org

Home

The Public Sector Facilities council is for those managing, maintaining or constructing government buildings and facilities. The council addresses the constraints of budgets, organization policies and bureaucracy in city, state, provincial or federal government agencies. Are you already an IFMA member and would like to be a member of the Public Sector Council? With your fellow council members by posting and replying to messages and sharing resources on the Online Community. PSC News and Updates.

psc.illinois.edu psc.illinois.edu

Welcome | Psychological Services Center | University of Illinois

Services, Training, Resources. Hours, Directions, and Parking. Champaign-Urbana Crisis Line: 217-359-4141. Bridging campus and community. The UIUC Psychological Services Center (PSC) offers culturally relevant, evidence-based, cutting edge services to communtiy and campus members while contributing to education and scholarship in the fields of Clinical and Community Psychology. In these ways, the PSC directly supports the University mission of transforming lives and serving society.

psc.info psc.info

The domain name is registered

THE DOMAIN NAME IS REGISTERED. DOMÉNA JE ZAREGISTROVÁNA. A DOMAIN NÉV REGISZTRÁLT.

psc.informatik.uni-jena.de psc.informatik.uni-jena.de

Jena University, Programming Languages and Compilers, Prof.(em) Jürgen F H Winkler

Jena University, Dept. of Math. and Computer Science, Inst. of Informatics, Prof.(em) JFH Winkler. Programming Languages and Compilers. The Oprema: The Relay Computer of Carl Zeiss (Slides, pdf). Objekte und Objekt-Typen in 10 Konzepten (Slides, pdf). FSU Students at the ACM Programming Contest. Comparison of FPP, NPPV and SPAR. German Ada Conference 2002. Prize for Peter Brömel and Frank Ecke. Mechanical Program Verification (Budapest, Oct. 2008). Programming Languages (WS 2007/2008).

psc.irvington.k12.nj.us psc.irvington.k12.nj.us

Student and Parent Sign In

Student and Parent Sign In. To sign in to PowerSchool, you must use a browser that supports and has JavaScript enabled. Forgot Username or Password? Create a parent account that allows you to view all of your students with one account. You can also manage your account preferences. Learn more.

psc.island.is psc.island.is

Velkomin á umsóknavef fyrir þjónustuviðskipti á Íslandi / Welcome to your guide to offering services in Iceland | Iceland - Point of Single Contact

Velkomin á umsóknavef fyrir þjónustuviðskipti á Íslandi / Welcome to your guide to offering services in Iceland. Veldu tungumál / Choose your language. About the Directive on services in the Internal Market. Point of Single Contact - Your Gateway for Offering Services in Iceland. Registers Iceland - Ísland.is - Borgartún 21 - 104 Reykjavik - island [at] island.is.

psc.isr.umich.edu psc.isr.umich.edu

Population Studies Center at the University of Michigan

PSC in the News. Collections and Library Use. Awarded 2015 Jacob Mincer Award for Lifetime Contributions to the Field of Labor Economics. Is new director of Institute for Social Research. Wins Robert Merton Prize for paper in analytic sociology. PSC Brown Bags will be back fall 2015. PSC In The News. Says gender plays key role in length of prison sentences in federal cases. Says tightening global labor market good for American workers. Says e-cigs may reverse two-decades of progress on smoking reduction.

psc.jct.org.tw psc.jct.org.tw

病人安全文化調查